| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 364183 | ||
| Compilerbau | Übung | 355897 | ||||
| Compilerbau | Vorlesung | 358019 | ||||
| Efficient Algorithms | Effiziente Algorithmen (WS) | Fach-/Modulprüfung | 6 | 363795 | ||
| Effiziente Algorithmen - Übung | Tutorium | 358566 | Mo 12:30-14:30 AH I (2350|028) (×1) Mi 12:30-14:00 5052 (2356|052) (×15) Mi 14:30-16:00 S01 (1385|201) (×12) Fr 10:30-12:00 5054 (2356|054) (×10) Fr 10:30-12:00 S04 (1385|204) (×1) | |||
| Effiziente Algorithmen | Vorlesung | 357761 | Di 16:30-18:00 AH V (2356|050) (×13) Do 12:30-14:00 AH V (2356|050) (×14) | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 6 | 364744 | ||
| Mathematische Logik II | Übung | 354738 | ||||
| Mathematische Logik II | Vorlesung | 355368 | ||||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 371854 | ||
| Introduction to Model Checking | Übung | 370402 | Fr 10:30-12:00 5056 (2356|056) (×10) | |||
| Introduction to Model Checking | Vorlesung | 370403 | Do 10:30-12:00 AH II (2350|111) (×13) Fr 14:30-16:00 AH III (2350|314.1) (×8) | |||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 364415 | ||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 370393 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 361389 | Mo 08:30-10:00 AH III (2350|314.1) (×15) Di 08:30-10:00 AH III (2350|314.1) (×15) |